Execution of UMLState Machines Using Modelica
نویسندگان
چکیده
ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardware. This paper focuses on the implementation of executable UML state machines in ModelicaML and demonstrates that using Modelica as an action language enables the integrated modeling and simulation of continuous-time and reactive or event-based system dynamics. More specifically, this paper highlights issues that are identified in the UML specification and that are experienced with typical executable implementations of UML state machines. The issues identified are resolved and rationales for design decisions taken are discussed.
منابع مشابه
Hydrological modeling in Modelica
Hydrological modeling is an area where modeling has been used for a very long time. Applications range from forecasts for the hydro power industry, public safety, agriculture and environmental monitoring. Still, to the best of our knowledge, Modelica has been very little used in hydrological modeling so far. In this paper, we aim to show that the Modelica language is well suited for hydrologica...
متن کاملUsing a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parame...
متن کاملImplementation in Modelica of a Virtual-lab for Testing Washing Machine Designs
The implementation of a virtual-lab for testing designs of drum-type washing machines is discussed. It is applied to the analysis of an industrial washing machine (120 Kg load capacity) manufactured by Fagor Industrial. The virtual-lab has been completely programmed using Modelica language. The washing machine dynamic model has been developed using MultiBody Modelica library. The interactive vi...
متن کاملUsing Modelica Models for Complex Virtual Experimentation with the Tornado Kernel
Tornado is a software kernel for virtual experimentation on the basis of ODE/DAE models. Recently, a model compiler has been developed that converts flat Modelica code to executable models suitable for use with the Tornado kernel. As a result, a subset of Modelica models can now be used for tasks such as parameter estimation, scenario analysis, Monte Carlo simulation, sensitivity analysis and s...
متن کاملCompilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs
Mathematical models, derived for example from discretisation of partial differential equations, often contain operations over large arrays. In this work we investigate the possibility of compiling array operations from models in the equation-based language Modelica into Single Assignment C (SAC). The SAC2C SAC compiler can generate highly efficient code that, for instance, can be executed on CU...
متن کامل